<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>test whether repairing duplicate attributes works</title>

<style type="text/css">
 span.c1 {S1; S2}
</style>
</head>
<body>
<br>
<span class="c1"><br></span>
</body>
</html>
